A Formalization of Interval-Based Temporal Subsumption in First Order Logic
نویسنده
چکیده
منابع مشابه
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expre...
متن کاملA Temporal Description Logic for Reasoning
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expre...
متن کاملRedundancy Elimination in Monodic Temporal Reasoning
The elimination of redundant clauses is an essential part of resolution-based theorem proving in order to reduce the size of the search space.p In this paper we focus on ordered fine-grained resolution with selection, a sound and complete resolution-based calculus for monodic first-order temporal logic. We define a subsumption relation on temporal clauses, show how the calculus can be extended ...
متن کاملLogic Based Approach to Web Services Discovery and Matchmaking
We present a logic based approach to web services discovery and matchmaking in an e-commerce scenario. In particular, we describe our framework, based on Description Logics formalization and reasoning, and its deployment in a prototype, which overcomes simple subsumption matching of services descriptions and allows match ranking and services classification. We also present results of first expe...
متن کاملLogic-Based Subsumption Architecture: Empirical Evaluation (Status Report)
We describe an implementation of the Logicbased Subsumption Architecture (LSA) [Amir and Maynard-Reid, 1999], an AI architecture inspired by Brooks’ subsumption architecture but based on logic. In this architecture, layers of control are axiomatized in First-Order Logic (FOL) and independent theorem provers derive each layer’s goals given its inputs. Default assumptions in the lower layers impl...
متن کامل